121. Introduction to formal philosophy
Author: Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
Classification :
B
808
.
5
.
I56
122. Intuitionistic Fuzzy Sets
Author: by Krassimir T. Atanassov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.
123. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993
124. Iteration theories
Author: Stephen L. Bloom, Zoltخ n اsik
Library: Vali Asr University Central Library (Kerman)
Subject: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
,
I56
1993
125. Iteration theories
Author: Stephen L. Bloom, Zoltخ n اsik
Library: Vali Asr University Central Library (Kerman)
Subject: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
,
I56
1993
126. Iteration theories : the equational logic of iterative processes
Author: Bloom, Stephen L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
I56
1993
127. KI 2015
Author: \ [edited by] Steffen Hölldobler...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگرهها
Classification :
Q
336
.
K5
2015
E-Book
,
128. Knowledge in action
Author: / Raymond Reiter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
129. Knowledge in action
Author: / Raymond Reiter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
130. Knowledge in action
Author: / Raymond Reiter
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
131. Learning language in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;
132. Learning language in logic
Author: James Cussens, Saso Dzeroski, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1925
133. Learning language in logic
Author: / James Cussens, Saeso Dezeroski, (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Natural language processing (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
9
,.
L63
,
L42
,
2000
134. Linear logic in computer science
Author: edited by Thomas Ehrhard ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
Classification :
QA
9
.
54
.
L563
135. Logic Colloquium' 96 :
Author: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
A1
E358
1998
136. Logic Programming and Nonmonotonic Reasoning :
Author: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
137. Logic : a brief course
Author: Mundici, Daniele
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
Classification :
BC
71
.
L62
2012
138. Logic : a brief course
Author: Daniel Mundici; translated by : Krzysloof R. Apt. Daniele Mundici
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
Classification :
QA
9
.
M86L613
139. Logic: a brief course
Author: Mundici, Daniele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
Classification :
QA
9
.
M86
2012
140. Logic : a foundation for computer science
Author: V. Sperschneider & G. Antoniou
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S64
